Synonym Ostedes (s. s.) harmandi Breuning, 1968e Ostedes (Ostedes) harmandi Löbl & Smetana, 2010 Description Type locality: India: Sikkim (HT); MNHNP Distribution India (Sikkim; WB: Darjeeling Distr.)